Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
771	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein → Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Proof theory Models of computation Computability theory Lambda calculus Natural deduction Ordinal number Curry–Howard correspondence Symbol Mathematical logic Theoretical computer science Mathematics
772	The Ref proof-checker and its “common shared scenario” Eugenio G. Omodeo December 3, 2011 · · · l’histoire g´eologique nous montre que la vie n’est qu’un court ´episode entre deux ´eternit´es de mort, et Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 08:24:18 Function Automata theory Computability theory Theory of computation COMPASS/Sample Code IIHF World U18 Championships – Division II Mathematics Functions and mappings Constructible universe
773	1 Proof in Z with ProofPower Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:50 First-order logic Model theory Predicate logic Function Lemmas Mathematics Mathematical logic Logic
774	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein Isar Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Mathematical logic Proof theory Logic Computer law Intellectual property law Creative Commons Mathematical proof Copyright law of the United States Natural deduction Open content Copyleft Law
775	Proof of Concept of OpenMI for Visual DSS Development Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 17:56:23 Knowledge engineering Information science OpenMI Standard User interface Science Knowledge Decision theory Information systems Decision support system
776	Mathematics Learning Centre Mathematical Induction Mary Barnes Sue Gordon Add to Reading List Source URL: sydney.edu.au Language: English - Date: 2007-11-28 23:00:52 Mathematical proofs Mathematical induction Proof theory Quadrilateral Diagonal Polygon Binomial coefficient Dividing a circle into areas Mathematics Mathematical logic Inductive reasoning
777	Strategy-Proof Contract Auctions and the Role of TiesI Mathijs M. de Weerdta , Paul Harrensteinb , Vincent Conitzerc a Delft University of Technology, Delft, The Netherlands b University of Oxford, Oxford, UK Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2013-09-06 17:07:39 Vickrey auction Utility Auction First-price sealed-bid auction Contract A Auctioneering Auction theory Business
778	JAF26/Weak Arithmetics Days Seville, June 11–13, 2007 Self-applied proof verification (Extended abstract)? Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:52:10 Philosophical logic Model theory Predicate logic Metalogic Mathematical proof Kripke semantics Correctness Quantification Function Logic Mathematics Mathematical logic
779	Program and Proof Optimizations with Type Systems 1 Ando Saabas and Tarmo Uustalu ∗ Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EE[removed]Tallinn, Estonia Received 17 March 2007; acce Add to Reading List Source URL: set.ee Language: English - Date: 2008-09-11 10:49:45 Normal distribution Hoare logic Program logic Model theory
780	Realism in Economic Model Building © Lawrence A. Boland In the early 1960s one of my teachers wrote on the blackboard an equation which represented a solution to a complicated economic model. I began asking him what eac Add to Reading List Source URL: www.sfu.ca Language: English - Date: 2002-09-02 00:35:43 Utility Marginal rate of substitution Indifference curve Lagrange multiplier Mathematical proof Revealed preference Differential equation Function Infinity Consumer theory Mathematics Mathematical analysis

UPDATE